(function () {
    window.wsc_ws_url = "ws://" + window.location.hostname
        + (window.location.port == "" // 80 端口
            ? ""
            : ":" + (window.location.port == "8080" ? "13001" : window.location.port)
        );
})();